Nació el 14 de enero de 1902 en Varsovia, Polonia.

Hijo de Rosa Prussaken e Ignacy Teitelbaum comerciante de maderas. Tuvo un hermano llamado Wac?aw. Se crió en el seno de una acomodada familia judía siendo su primer nombre Alfred Tajtelbaum, que cambiaría a Alfred Tarski tras convertirse en 1923 a la religión mayoritaria en Polonia, el catolicismo, probablemente porque su condición de judío le impedía el acceso a la universidad.

Asistió a la Schola Mazowiecka y pasó un tiempo en el ejército polaco después de dejar la escuela. Ingresó en la Universidad de Varsovia en 1918. Cuando tenía solo 19 años publicó su primer trabajo. Investigó las preguntas de la teoría de conjuntos, que seguiría siendo de su interés en sus investigaciones a lo largo de su vida. En 1924 se graduó con un doctorado, y se convirtió en la persona más joven en recibir el título de la Universidad de Varsovia.


Dio clases de lógica en el Instituto Pedagógico de Polonia en Varsovia entre 1922 y 1925, siendo nombrado en este último año, docente en matemáticas y lógica en la Universidad de Varsovia. Junto al matemático polaco Stefan Banach demostró en 1924, que un cuerpo esférico puede dividirse en un número finito de piezas y recomponerse en dos con el mismo tamaño que el original. El resultado es conocido como paradoja de Banach-Tarski.

Fue uno de los representantes más eminentes del grupo de lógicos y filósofos polacos de la escuela de Lvov-Varsovia. Se le reconoce como uno de los lógicos más importantes. Formuló una teoría de los números reales que es decidible (en metalógica, la decidibilidad es una propiedad de los sistemas formales cuando, para cualquier fórmula en el lenguaje del sistema, existe un método efectivo para determinar si esa fórmula pertenece o no al conjunto de las verdades del sistema). Formuló una versión de la geometría euclídea del plano que es decidible si lo es su teoría de los números reales. En su obra Teorías indecidibles (1953), mostró que teorías matemáticas como la teoría de retículos, la geometría proyectiva abstracta y la teoría de grupos no conmutativos, no son decidibles. Sus métodos semánticos (teoría de modelos) transformaron la metamatemática consolidándose como ciencia estricta.

Desarrolló trabajos sobre teoría numérica, de conjuntos y álgebra; lógica polivalente, niveles de lenguaje y metalenguaje y conceptos semánticos.

El 23 de junio de 1929, Tarski contrajo matrimonio con Maria Witkowski, profesora del Liceo de Zeromski.


En agosto de 1939, se trasladó a la Universidad de Harvard en los Estados Unidos muy poco antes de que Hitler ordenara la invasión de Polonia. Por entonces, Tarski tenía dos hijos que junto a su esposa permanecían en Polonia. Logró permiso para permanecer en los Estados Unidos intentando reunirse con su familia en este país sin conseguirlo. Su mujer y sus hijos sobrevivieron a la guerra y pudieron unirse a Tarski en 1946, aunque su padre, su madre, su hermano y su cuñada murieron a causa de los nazis.

Desde su llegada a los Estados Unidos, trabajó en la teoría de conjuntos, lógica polivalente, niveles de lenguaje y metalenguaje y conceptos semánticos influyendo en la investigación lógica posterior a la Segunda Guerra Mundial.

Autor de Introducción a la lógica y a la metodología de las ciencias deductivas (1936), y de La concepción semántica de la verdad y los fundamentos de la semántica en 1944.

Falleció el 26 de octubre de 1983, en Berkeley, California, Estados Unidos. *buscabiografias.com

---

---

---